On the computational content of the axiom of choice
نویسندگان
چکیده
منابع مشابه
the washback effect of discretepoint vs. integrative tests on the retention of content in knowledge tests
در این پایان نامه تاثیر دو نوع تست جزیی نگر و کلی نگر بر به یادسپاری محتوا ارزیابی شده که نتایج نشان دهندهکارایی تستهای کلی نگر بیشتر از سایر آزمونها است
15 صفحه اولthe effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
On the Computational Content of the Axiom of Choice
We present a possible computational content of the negative translation of classical analysis with the Axiom of Choice Our interpretation seems computationally more direct than the one based on G odel s Dialectica interpretation Interestingly this interpretation uses a re nement of the realizibility semantics of the absurdity proposition which is not interpreted as the empty type here We also s...
متن کاملsurveying the relevance of proportions to the content of quran verses
چکیده : قرآن چشمه سار زلال هدایتی است که از سوی خداوند حکیم نازل شده تا بشر را به سر منزل کمال برساند. و در این راستا از شیوه های گوناگون بیانی خطابی و بلاغی استفاده کرده تا با فطرت زیبا طلب انسان درآمیزد و اورا مقهور خویش ساخته، به سوی کمالات سوق دهد.ازجمله جنبه های بارز اعجاز بیانی قرآن وجود فواصل در پایان آیات است که کار برد سجع و قافیه در کلام بشر شبیه آن است. برخی ازعلمای سلف تفاوت هایی ب...
15 صفحه اولthe impact of morphological awareness on the vocabulary development of the iranian efl students
this study investigated the impact of explicit instruction of morphemic analysis and synthesis on the vocabulary development of the students. the participants were 90 junior high school students divided into two experimental groups and one control group. morphological awareness techniques (analysis/synthesis) and conventional techniques were used to teach vocabulary in the experimental groups a...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 1998
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2586854